1. Comnplexity theory current research

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)

موضوع: ، Computational complexity

رده :
QA
267
.
7
.
C66
1993

2. Complexity theory : current research

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computational complexity

رده :
QA
267
.
7
.
C656

3. Logic for computer scientists

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Logic programming

رده :
QA
9
.
S363
1989

4. Logic for computer scientists /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.

رده :
QA9
.
S363
1989

5. The graph isomorphism problem

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Computational complexity,Graph theory -- Data processing,Isomorphisms (Mathematics)

رده :
QA
267
.
7
.
K63
1993

6. The graph isomorphism problem : its structural complexity

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computational complexity,Data processing ، Graph theory,، Isomorphisms )Mathematics(

رده :
QA
267
.
7
.
K625

7. Theoretische Informatik kurz gefasst [kurzgefasst]

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computable functions.,Machine theory.,Theory of computer science.,Computable functions.,Informatik.,Machine theory.,Theoretische Informatik,Theoretische Informatik.,Theorie.